semidifferentiable function

半可微函数